Byzantine fault tolerance

Results: 131



#Item
41Distributed computing / Fault tolerance / Cryptography / Failure / Theory of computation / Consensus / Byzantine fault tolerance / Promela / Distributed algorithm / Fault-tolerant computer systems / Concurrent computing / Computing

Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms? Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, and Josef Widder Vienna University of Technology (TU Wien) Abstract. Fault-tolerant distrib

Add to Reading List

Source URL: forsyte.at

Language: English - Date: 2013-05-15 09:27:00
42Bitcoin / Peer-to-peer computing / Payment systems / Electronic commerce / Financial cryptography / Consensus / Proof-of-work system / Byzantine fault tolerance / Electronic money / Cryptography / Computing / Software

Enabling Blockchain Innovations with Pegged Sidechains Adam Back, Matt Corallo, Luke Dashjr, Mark Friedenbach, Gregory Maxwell, Andrew Miller, Andrew Poelstra, Jorge Timón, and Pieter Wuille∗† commit 562

Add to Reading List

Source URL: blockstream.com

Language: English - Date: 2015-06-08 20:39:51
43Fault-tolerant computer systems / Fault tolerance / Cryptography / Theory of computation / Consensus / Model checking / Distributed computing / Byzantine fault tolerance / Distributed algorithm / Computing / Theoretical computer science / Concurrent computing

Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms? Annu Gmeiner, Igor Konnov, Ulrich Schmid, Helmut Veith, and Josef Widder Vienna University of Technology (TU Wien) Abstract. Recently we

Add to Reading List

Source URL: forsyte.at

Language: English - Date: 2014-06-05 05:53:48
44State machine replication / Replication / Byzantine fault tolerance / Network File System / Consensus / Transmission Control Protocol / Communications protocol / Ping / Virtual synchrony / Computing / Fault-tolerant computer systems / Data synchronization

Appears in the Proceedings of the Third Symposium on Operating Systems Design and Implementation, New Orleans, USA, FebruaryPractical Byzantine Fault Tolerance Miguel Castro and Barbara Liskov Laboratory for Compu

Add to Reading List

Source URL: www.dsm.fordham.edu

Language: English - Date: 2007-03-10 14:28:30
45State machine replication / Byzantine fault tolerance / Replication / Transmission Control Protocol / Representational state transfer / Proxy server / Computing / Data synchronization / Fault-tolerant computer systems

Appearing in the 7th USENIX Symposium on Operating System Design and Implementation (OSDI), NovHQ Replication: A Hybrid Quorum Protocol for Byzantine Fault Tolerance James Cowling1 , Daniel Myers1 , Barbara Lisko

Add to Reading List

Source URL: www.pmg.lcs.mit.edu

Language: English - Date: 2007-10-23 18:19:54
46Reliability engineering / Software quality / Survival analysis / Fault-tolerant computer system / Byzantine fault tolerance / Fault-tolerant design / Distributed computing / Fault-tolerant system / Parallel computing / Systems engineering / Failure / Computing

Characterizing Fault Tolerance in Genetic Programming Daniel Lombraña ∗ González University of Extremadura Avd. Santa Teresea de Jornet,

Add to Reading List

Source URL: navet.ics.hawaii.edu

Language: English - Date: 2009-04-02 15:22:11
47Fault-tolerant computer systems / Data synchronization / Transaction processing / Time / Byzantine fault tolerance / Theory of computation / Transmission Control Protocol / Timestamp / Replication / Computing / Data / Information

Computer Science and Artificial Intelligence Laboratory Technical Report MIT-CSAIL-TRMIT-LCS-TR-994 July 21, 2005

Add to Reading List

Source URL: www.pmg.lcs.mit.edu

Language: English - Date: 2008-08-05 15:15:23
48Reliability engineering / Failure / Fault tolerance / Software quality / Byzantine fault tolerance / Fault-tolerant design / Fault-tolerant system / Server / Redundancy / Computing / Fault-tolerant computer systems / Systems engineering

362 FAULT TOLERANCE CHAP. 7

Add to Reading List

Source URL: www.cs.vu.nl

Language: English - Date: 2001-08-05 10:53:44
49Women in technology / Computer networking / Byzantine fault tolerance / Node / Software engineering / Computing / Computer science / Barbara Jane Liskov

Computer Science and Artificial Intelligence Laboratory Technical Report MIT-CSAIL-TRApril 16, 2009

Add to Reading List

Source URL: www.pmg.lcs.mit.edu

Language: English - Date: 2009-11-09 18:42:18
50Data synchronization / Cryptography / Failure / Theory of computation / Byzantine fault tolerance / State machine replication / Fault-tolerant system / Replication / Distributed file system / Computing / Fault-tolerant computer systems / Concurrent computing

HQ Replication by James Cowling BCST Adv. Hons. H1M The University of Sydney (2004)

Add to Reading List

Source URL: www.pmg.lcs.mit.edu

Language: English - Date: 2007-10-23 18:19:54
UPDATE